conctructive proof

构造性证明